1. Logic in computer science: proceedings: 16th Annual IEEE Symposium on Logic in Computer Science, 16-19 June 2001, Boston, Massachusetts
پدیدآورنده: sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Mathematics - Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
S9393
2001
2. Proceedings : Fifth Annual Structure in Complexity Theory Conference, July 8-11, 1990, Universitat Politecnica de Catalunya, Barcelona, Spain
پدیدآورنده: sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing, Universitat Politecnica de Catalunya, Northeastern University
کتابخانه: کتابخانه دانشگاه تحصیلات تکمیلی صنعتی و فناوری پیشرفته کرمان (کرمان)
موضوع: Congresses ، Computational complexity
رده :
QA
267
.
7
.
S75
1990
3. Proceedings Symposium on Logic in Computer Science, LICS 94, CNAM, paris France, July 4-7, 1994
پدیدآورنده: sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing INRIA
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Computer science - Mathematics - Congresses, Logic, Symbolic and mathematical - Congresses
رده :
QA
76
.
9
.
M35
S94
1994
4. Proceedings of the Ninth Annual Structure in Complexity Theory Conference, Jun 28-July 1, 1994, Amsterdam, The Netherlands
پدیدآورنده: sponsored by IEEE Computer Society, Technical Committee on Mathematical Foundations of Computing ... ]et al.[
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Computational complexity - Congresses
رده :
QA
267
.
7
.
S75
1994
5. Proceedings of the Sixth Annual Structure in Complexity Theory Conference, June 30-July 3, 1991, University of Chicago, Chicago, Illinois
پدیدآورنده: sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing )and( University of Chicago, in cooperation with ACM SIGACT )and( EATCS
کتابخانه: کتابخانه دانشگاه تحصیلات تکمیلی صنعتی و فناوری پیشرفته کرمان (کرمان)
موضوع: Congresses ، Computational complexity
رده :
QA
267
.
7
.
S75
1991
6. Proceedings, structure in complexity theory: fourth annual conference, June 19-22, 1989, University of Oregon, Eugene, Oregon
پدیدآورنده: Sponsored by Computer Society Technical Committee on Mathematical Foundations of Computing
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Computational complexity -- Congresses
رده :
QA
267
.
P757
1989
7. Proceedings : 15th annual Symposium on Logic in Computer Science, June 26-28, 2000, Santa Barbara, California
پدیدآورنده: sponsored by IEEE Computer Society Technical Committee on the Mathematical Foundations of Computing; in cooperation with Association for Symbolic Logic and European Association for Theoretical Computer Science; with support from Kestrel Institute,...
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
رده :
QA
75
.
5
.
I38
2000
